More from this Author

Found 8 books by Huibiao Zhu (Editor)

Service-Oriented Computing - ICSOC Workshops 2012

by Aditya Ghose (Editor), Huibiao Zhu (Editor), Qi Yu (Editor), Alex Delis (Editor), Quan Z. Sheng (Editor), Olivier Perrin (Editor), Jianmin Wang (Editor), Yan Wang (Editor)

Theories of Programming and Formal Methods

by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)

Theoretical Aspects of Computing -- Ictac 2013

by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)

Theoretical Aspects of Computing -- ICTAC 2013

by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)

Theoretical Aspects of Computing -- ICTAC 2013

by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)

Formal Methods and Software Engineering

by Jin Song Dong (Editor), Huibiao Zhu (Editor)

Unifying Theories of Programming and Formal Engineering Methods

by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor), Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)

Service-Oriented Computing - ICSOC Workshops 2012

by Aditya Ghose (Editor), Huibiao Zhu (Editor), Qi Yu (Editor), Alex Delis (Editor), Quan Z. Sheng (Editor), Olivier Perrin (Editor), JianMin Wang (Editor), Yan Wang (Editor)